Skip to content

block-buffer: fix exception safety#1487

Merged
newpavlov merged 2 commits into
masterfrom
block-buffer/fix_exception_safety
Jun 11, 2026
Merged

block-buffer: fix exception safety#1487
newpavlov merged 2 commits into
masterfrom
block-buffer/fix_exception_safety

Conversation

@newpavlov

Copy link
Copy Markdown
Member

Users may trigger UB by observing broken type invariant using panicking closures and catch_unwind.

This PR introduces guards which reset the buffer types when dealing with user-provided closures.

@newpavlov newpavlov force-pushed the block-buffer/fix_exception_safety branch from beddf4a to 8e3ce78 Compare June 11, 2026 15:19
@newpavlov newpavlov merged commit 9aa541d into master Jun 11, 2026
13 checks passed
@newpavlov newpavlov deleted the block-buffer/fix_exception_safety branch June 11, 2026 15:27
newpavlov added a commit that referenced this pull request Jun 11, 2026
### Fixed
- Exception safety bug ([#1487])

[#1487]: #1487
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant